931![Computer-Aided Support for Secure Tropos Fabio Massacci ([removed]), John Mylopoulos ([removed]) and Nicola Zannone ([removed]) Computer-Aided Support for Secure Tropos Fabio Massacci ([removed]), John Mylopoulos ([removed]) and Nicola Zannone ([removed])](https://www.pdfsearch.io/img/5f992e75dbaa4446903495f41b2b5340.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2007-10-30 20:05:49
|
---|
932![UNIVERSITY OF TRENTO DEPARTMENT OF INFORMATION AND COMMUNICATION TECHNOLOGY UNIVERSITY OF TRENTO DEPARTMENT OF INFORMATION AND COMMUNICATION TECHNOLOGY](https://www.pdfsearch.io/img/391559b5ae5601e5b5fde13c5df8d919.jpg) | Add to Reading ListSource URL: eprints.biblio.unitn.itLanguage: English - Date: 2012-02-28 09:18:56
|
---|
933![Application of Lightweight Formal Methods to Software Security David P. Gilliam,* John D. Powell,* and Matt Bishop** *Jet Propulsion Laboratory, California Institute of Technology Application of Lightweight Formal Methods to Software Security David P. Gilliam,* John D. Powell,* and Matt Bishop** *Jet Propulsion Laboratory, California Institute of Technology](https://www.pdfsearch.io/img/0ac92fd20e70275e036767f62c86d6da.jpg) | Add to Reading ListSource URL: nob.cs.ucdavis.eduLanguage: English - Date: 2013-03-12 20:41:50
|
---|
934![McMaster University Software Aging McMaster University Software Aging](https://www.pdfsearch.io/img/7ecbb5c1fb7ddae57b85ba02b192717c.jpg) | Add to Reading ListSource URL: imps.mcmaster.caLanguage: English - Date: 2012-03-27 15:38:40
|
---|
935![](https://www.pdfsearch.io/img/f02ce714ca3cb1325f9e00c1a23bf37d.jpg) | Add to Reading ListSource URL: www.westcoastlabs.comLanguage: English - Date: 2012-03-30 04:28:50
|
---|
936![Proactive Security Challenge 64 Testing Report Proactive Security Challenge 64 Testing Report](https://www.pdfsearch.io/img/4a576c6fe15423045cc8f8cf42d13391.jpg) | Add to Reading ListSource URL: www.matousec.comLanguage: English - Date: 2013-08-29 12:06:55
|
---|
937![Linux Kernel Development How Fast it is Going, Who is Doing It, What They are Doing, and Who is Sponsoring It Linux Kernel Development How Fast it is Going, Who is Doing It, What They are Doing, and Who is Sponsoring It](https://www.pdfsearch.io/img/ce4cd6e23d646f7fec860f5f5f8ac293.jpg) | Add to Reading ListSource URL: www.linuxfoundation.orgLanguage: English - Date: 2008-04-03 16:40:53
|
---|
938![Proactive Security Challenge 64 Testing Report Proactive Security Challenge 64 Testing Report](https://www.pdfsearch.io/img/15f6f13186a82097c3b31af692507ea0.jpg) | Add to Reading ListSource URL: www.matousec.comLanguage: English - Date: 2013-08-29 12:06:06
|
---|
939![Total Creation of a Software Project Correctness by Construction: Total Creation of a Software Project Correctness by Construction:](https://www.pdfsearch.io/img/b8926c6f2b0f5155d616d6fd3b1aa362.jpg) | Add to Reading ListSource URL: www.crosstalkonline.orgLanguage: English - Date: 2010-11-04 23:58:58
|
---|
940![](https://www.pdfsearch.io/img/8ab93f0c7ffd3f43652a4fb81b5f165c.jpg) | Add to Reading ListSource URL: win.ua.ac.beLanguage: English - Date: 2009-03-17 04:36:11
|
---|